Amalgamation of Ortholattices
نویسندگان
چکیده
We show that the variety of ortholattices has the strong amalgamation property and that the variety of orthomodular lattices has the strong Boolean amalgamation property, i.e. that two orthomodular lattices can be strongly amalgamated over a common Boolean subalgebra. We give examples to show that the variety orthomodular lattices does not have the amalgamation property and that the variety of modular ortholattices does not even have the Boolean amalgamation property. We further show that no non-Boolean variety of orthomodular lattices which is generated by orthomodular lattices of bounded height can have the Boolean amalgamation property. Mathematics Subject Classifications (1991): 06C15, 03G12, 08B25.
منابع مشابه
A Note on Congruence Kernels in Ortholattices
We characterize ideals of ortholattices which are congruence kernels. We show that every congruence class determines a kernel.
متن کاملOn the algebra of regular sets Properties of representable Stonian p-Ortholattices
The mereotopology RT− has in Stonian p-ortholattices its algebraic counterpart. We study representability of these lattices and show that not all Stonian p-ortholattices can be represented by the set of regular sets of a topological space. We identify five conditions that hold in algebras of regular sets and which can be used to eliminate non-representable Stonian p-ortholattices. This shows no...
متن کاملOn the Skeleton of Stonian p-Ortholattices
Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus. Similarly, Stonian p-ortholattices serve as a lattice theoretic version of the onthology RT− of Asher and Vieu. In this paper we study the relationship between BCAs and Stonian p-ortholattices. We show that the skeleton of every Stonian p-ortholattice is a BCA, and,...
متن کاملShort Equational Bases for Ortholattices
Short single axioms for ortholattices orthomodular lattices and mod ular ortholattices are presented all in terms of the She er stroke The ortholattice axiom is the shortest possible Other equational bases in terms of the She er stroke and in terms of join meet and complement are presented Proofs are omitted but are available in an associated tech nical report Computers were used extensively to...
متن کامل